Temporal Resolution: Removing Irrelevant Information
نویسنده
چکیده
The generation of too much information prohibits eecient resolution proof search in classical logics. Hence subsumption is used to discard redundant information and strategies have been developed to guide the proof search avoiding irrelevant information. The extension of the resolution method to temporal logics, for example that by Fisher for propositional linear-time temporal logics, further magniies this problem. Here we provide an algorithm to eeciently remove irrelevant information prior to the application of Fisher's temporal resolution rule, show it retains the completeness of the temporal resolution system and demonstrate its eeciency on a set of examples.
منابع مشابه
An Improvement in Temporal Resolution of Seismic Data Using Logarithmic Time-frequency Transform Method
The improvement in the temporal resolution of seismic data is a critical issue in hydrocarbon exploration. It is important for obtaining more detailed structural and stratigraphic information. Many methods have been introduced to improve the vertical resolution of reflection seismic data. Each method has advantages and disadvantages which are due to the assumptions and theories governing their ...
متن کاملThe Set of Support Strategy in Temporal Resolution
A variety of proof methods have been developed to support the effective mechanisation of temporal logic. While clausal temporal resolution has been successfully employed for a range of problems, a number of improvements are still required. In particular, as there is no consistent control strategy underlying the method, a large amount of irrelevant information may sometimes be generated. Followi...
متن کاملVisual Search Optimization using Concept Related Re-Ranking
Visual search re-ranking defined as re-ordering visual documents like image, videos etc. based on the initial search. Ranking the multimedia content like images, videos are a challenging research topic in the noisy visual environment. Now days, leading search engines are fully depends on the description, title, surrounding information of an image which produce irrelevant image which are not equ...
متن کاملObject-related regularities are processed automatically: evidence from the visual mismatch negativity
One of the most challenging tasks of our visual systems is to structure and integrate the enormous amount of incoming information into distinct coherent objects. It is an ongoing debate whether or not the formation of visual objects requires attention. Implicit behavioral measures suggest that object formation can occur for task-irrelevant and unattended visual stimuli. The present study invest...
متن کاملEffects of ageing on speed and temporal resolution of speech stimuli in older adults
Background: According to previous studies, most of the speech recognition disorders in older adults are the results of deficits in audibility and auditory temporal resolution. In this paper, the effect of ageing on timecompressed speech and auditory temporal resolution by word recognition in continuous and interrupted noise was studied. Methods: A time-compressed speech test (TCST) w...
متن کامل